类型系统

TypeScript 的类型系统非常强大，因为它允许用其他类型来表达类型。

这种想法最简单的形式就是泛型。此外，我们还有各种各样的类型运算符可供使用。我们还可以用已有的值来表达类型。

通过组合各种类型运算符，我们可以用简洁、可维护的方式表达复杂的运算和值。在本节中，我们将介绍如何根据现有类型或值表达新类型。

泛型——接受参数的类型

• Keyof 类型运算符- 使用 keyof 运算符创建新类型
• Typeof 类型运算符- 使用 typeof 运算符创建新类型
• 索引访问类型- 使用 Type['a']语法访问类型的子集
• 条件类型- 在类型系统中表现类似于 if 语句的类型
• 映射类型- 通过映射现有类型中的每个属性来创建类型
• 模板文字类型- 通过模板文字字符串改变属性的映射类型

参考链接

https://www.typescriptlang.org/docs/handbook/2/types-from-types.html